Biblioteca Digital

46 resultados para PROGRAM

em Department of Computer Science E-Repository - King's College London, Strand, London

An operational approach to program extraction in the Calculus of Constructions

Relevância:

20.00% 20.00%

Publicador:

A uniform approach to program extraction: Pure Type Systems with Ultra-Sigma Types

Relevância:

20.00% 20.00%

Publicador:

Variations on a Theme of Curry and Howard: The Curry-Howard isomorphism and the proofs-as-programs paradigm adapted to imperative and structured program synthesis

Relevância:

20.00% 20.00%

Publicador:

The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning

Relevância:

20.00% 20.00%

Publicador:

Equivalence of Linear, Free, Liberal, Structured Program Schemas is Decidable in Polynomial Time

Relevância:

20.00% 20.00%

Publicador:

An Empirical Study of Static Program Slice Size

Relevância:

20.00% 20.00%

Publicador:

A Formal Relationship Between Program Slicing and Partial Evaluation

Relevância:

20.00% 20.00%

Publicador:

Theoretical Foundations of Dynamic Program Slicing

Relevância:

20.00% 20.00%

Publicador:

A Formalisation of the Relationship between Forms of Program Slicing

Relevância:

20.00% 20.00%

Publicador:

Unifying program slicing and concept assignment for higher-level executable source code extraction

Relevância:

20.00% 20.00%

Publicador:

ConSUS: A Lightweight Program Conditioner

Relevância:

20.00% 20.00%

Publicador:

A Survey of Empirical Results on Program Slicing

Relevância:

20.00% 20.00%

Publicador:

ConSIT: a fully automated conditioned program slicer

Relevância:

20.00% 20.00%

Publicador:

An empirical investigation of the influence of a type of side effects on program comprehension

Relevância:

20.00% 20.00%

Publicador:

Amorphous Program Slicing

Relevância:

20.00% 20.00%

Publicador:

«
1
2
3
4
»